Substitution, jumps, and algebraic effects

Contains fulltext : 129931.pdf (author's version ) (Open Access

Изготовление изделий сложной формы из металлических порошков методом квазиизостатического прессования

Работа посвящена изучению влияния параметров эластичной оболочки (жесткость,объем внутренней полости) на деформацию металлических порошковых материалов в процессе квазиизостатического прессования.The work is devoted to the study of the influence of the parameters of the elastic shell (stiffness, volume of the internal cavity) on the deformation of metal powder materials in the process of quasi-isostatic pressing

Continuation-Passing C: compiling threads to events through continuations

In this paper, we introduce Continuation Passing C (CPC), a programming language for concurrent systems in which native and cooperative threads are unified and presented to the programmer as a single abstraction. The CPC compiler uses a compilation technique, based on the CPS transform, that yields efficient code and an extremely lightweight representation for contexts. We provide a proof of the correctness of our compilation scheme. We show in particular that lambda-lifting, a common compilation technique for functional languages, is also correct in an imperative language like C, under some conditions enforced by the CPC compiler. The current CPC compiler is mature enough to write substantial programs such as Hekate, a highly concurrent BitTorrent seeder. Our benchmark results show that CPC is as efficient, while using significantly less space, as the most efficient thread libraries available.Comment: Higher-Order and Symbolic Computation (2012). arXiv admin note: substantial text overlap with arXiv:1202.324

Association between footwear use and neglected tropical diseases: a systematic review and meta-analysis

BACKGROUND The control of neglected tropical diseases (NTDs) has primarily focused on preventive chemotherapy and case management. Less attention has been placed on the role of ensuring access to adequate water, sanitation, and hygiene and personal preventive measures in reducing exposure to infection. Our aim was to assess whether footwear use was associated with a lower risk of selected NTDs. METHODOLOGY We conducted a systematic review and meta-analysis to assess the association between footwear use and infection or disease for those NTDs for which the route of transmission or occurrence may be through the feet. We included Buruli ulcer, cutaneous larva migrans (CLM), leptospirosis, mycetoma, myiasis, podoconiosis, snakebite, tungiasis, and soil-transmitted helminth (STH) infections, particularly hookworm infection and strongyloidiasis. We searched Medline, Embase, Cochrane, Web of Science, CINAHL Plus, and Popline databases, contacted experts, and hand-searched reference lists for eligible studies. The search was conducted in English without language, publication status, or date restrictions up to January 2014. Studies were eligible for inclusion if they reported a measure of the association between footwear use and the risk of each NTD. Publication bias was assessed using funnel plots. Descriptive study characteristics and methodological quality of the included studies were summarized. For each study outcome, both outcome and exposure data were abstracted and crude and adjusted effect estimates presented. Individual and summary odds ratio (OR) estimates and corresponding 95% confidence intervals (CIs) were calculated as a measure of intervention effect, using random effects meta-analyses. PRINCIPAL FINDINGS Among the 427 studies screened, 53 met our inclusion criteria. Footwear use was significantly associated with a lower odds of infection of Buruli ulcer (OR=0.15; 95% CI: 0.08-0.29), CLM (OR=0.24; 95% CI: 0.06-0.96), tungiasis (OR=0.42; 95% CI: 0.26-0.70), hookworm infection (OR=0.48; 95% CI: 0.37-0.61), any STH infection (OR=0.57; 95% CI: 0.39-0.84), strongyloidiasis (OR=0.56; 95% CI: 0.38-0.83), and leptospirosis (OR=0.59; 95% CI: 0.37-0.94). No significant association between footwear use and podoconiosis (OR=0.63; 95% CI: 0.38-1.05) was found and no data were available for mycetoma, myiasis, and snakebite. The main limitations were evidence of heterogeneity and poor study quality inherent to the observational studies included. CONCLUSIONS/SIGNIFICANCE Our results show that footwear use was associated with a lower odds of several different NTDs. Access to footwear should be prioritized alongside existing NTD interventions to ensure a lasting reduction of multiple NTDs and to accelerate their control and elimination. PROTOCOL REGISTRATION PROSPERO International prospective register of systematic reviews CRD42012003338

Process types as a descriptive tool for interaction

We demonstrate a tight relationship between linearly typed π-calculi and typed λ-calculi by giving a type-preserving translation from the call-by-value λµ-calculus into a typed π-calculus. The λµ-calculus has a particularly simple representation as typed mobile processes. The target calculus is a simple variant of the linear π-calculus. We establish full abstraction up to maximally consistent observational congruences in source and target calculi using techniques from games semantics and process calculi